Published in: LIPIcs, Volume 178, 27th International Symposium on Temporal Representation and Reasoning (TIME 2020)
Hai Nguyen Van, Frédéric Boulanger, and Burkhart Wolff. TESL: A Model with Metric Time for Modeling and Simulation. In 27th International Symposium on Temporal Representation and Reasoning (TIME 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 178, pp. 15:1-15:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{nguyenvan_et_al:LIPIcs.TIME.2020.15, author = {Nguyen Van, Hai and Boulanger, Fr\'{e}d\'{e}ric and Wolff, Burkhart}, title = {{TESL: A Model with Metric Time for Modeling and Simulation}}, booktitle = {27th International Symposium on Temporal Representation and Reasoning (TIME 2020)}, pages = {15:1--15:15}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-167-2}, ISSN = {1868-8969}, year = {2020}, volume = {178}, editor = {Mu\~{n}oz-Velasco, Emilio and Ozaki, Ana and Theobald, Martin}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2020.15}, URN = {urn:nbn:de:0030-drops-129837}, doi = {10.4230/LIPIcs.TIME.2020.15}, annote = {Keywords: Timed Systems, Semantics, Models, Simulation} }
Published in: Dagstuhl Reports, Volume 3, Issue 1 (2013)
Thierry Jéron, Margus Veanes, and Burkhart Wolff. Symbolic Methods in Testing (Dagstuhl Seminar 13021). In Dagstuhl Reports, Volume 3, Issue 1, pp. 1-29, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@Article{jeron_et_al:DagRep.3.1.1, author = {J\'{e}ron, Thierry and Veanes, Margus and Wolff, Burkhart}, title = {{Symbolic Methods in Testing (Dagstuhl Seminar 13021)}}, pages = {1--29}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2013}, volume = {3}, number = {1}, editor = {J\'{e}ron, Thierry and Veanes, Margus and Wolff, Burkhart}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.3.1.1}, URN = {urn:nbn:de:0030-drops-40060}, doi = {10.4230/DagRep.3.1.1}, annote = {Keywords: Automated Deduction, White-box testing, Black-box Testing, Fuzz-Testing, Unit-Testing,Theorem prover-based Testing} }
Feedback for Dagstuhl Publishing